probFD

Benchmark
Model:ij v.1 (MDP)
Parameter(s)num_tokens_var = 50
Property:stable (prob-reach)
Invocation (default)
python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py ij.50.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py ij.50-domain.ppddl ij.50-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Execution
Walltime:0.3934800624847412s
Return code:0, 1, 1
Log
Parsing...	
STDERR
predicate used with wrong arity: (value n1)	
Log
Invalid command line arguments. Use -h to print the available options.	
STDERR
Could not open SAS file output.sas